小编kar*_*thi的帖子

我有一个java编译包,可以在网上与https服务器通话.运行编译会产生以下异常:

javax.net.ssl.SSLException: Unrecognized SSL message, plaintext connection?
    at com.sun.net.ssl.internal.ssl.InputRecord.handleUnknownRecord(Unknown Source)
at com.sun.net.ssl.internal.ssl.InputRecord.read(Unknown Source)
at com.sun.net.ssl.internal.ssl.SSLSocketImpl.readRecord(Unknown Source)
at com.sun.net.ssl.internal.ssl.SSLSocketImpl.performInitialHandshake(Unknown Source)
at com.sun.net.ssl.internal.ssl.SSLSocketImpl.startHandshake(Unknown Source)
at com.sun.net.ssl.internal.ssl.SSLSocketImpl.startHandshake(Unknown Source)
at sun.net.www.protocol.https.HttpsClient.afterConnect(Unknown Source)
at sun.net.www.protocol.https.AbstractDelegateHttpsURLConnection.connect(Unknown Source)
at sun.net.www.protocol.https.HttpsURLConnectionImpl.connect(Unknown Source)

我认为这是由于与客户端机器建立的连接不安全.有没有办法配置本地机器或端口以连接到远程https服务器？

我需要找出一个单词是动词还是名词,还是两者都是

例如,单词是"search"它既可以是名词也可以是动词,但是stanford解析器会为它提供NN标签.

有没有什么办法让斯坦福解析器给出"搜索"既是名词又是动词？

我现在使用的代码

public static String Lemmatize(String word) {
    WordTag w = new WordTag(word);
    w.setTag(POSTagWord(word));
    Morphology m = new Morphology();
    WordLemmaTag wT = m.lemmatize(w);

    return wT.lemma();
}

或者我应该使用任何其他软件来做到这一点？请提前感谢我

我一直在学习prolog ..我正在使用一个名为prol1.1.1的编辑器我需要编写规则来比较2个字符串,当我给出类似的东西时

rel(a1,b1).
rel(a2,b2).
rel(b2,c2).

associatedWith(X,Y,Z) :- rel(X,Y),rel(Y,Z).

?- associatedWith(X,Y,Z).

有用

但是当我给予

?- associatedWith(X,Y,Z),X=\=Z.

我得到解析器异常

Parser exception [Should be evaluable ''a2''[7:31]] line 7:31 

我从网站得到的是=\=是数字值,我无法得到比较字符串值的答案..任何人都可以帮助我..

而且我也无法获得swi-prolog的gui你也可以帮助我吗？我需要使用java程序中的调用prolog,输出必须在java中再次处理,任何人都可以帮助我..

我有这样的Prolog声明

verb('part_of-8').
noun('doctor_investigation_system-2').
noun('dis-4').
berelation('be-6').
verb('be-6').
noun('hospital_information_system-11').
noun('his-13').
rel('part_of-8', 'doctor_investigation_system-2').
rel('doctor_investigation_system-2', 'dis-4').
rel('part_of-8', 'be-6').
rel('part_of-8', 'hospital_information_system-11').
rel('hospital_information_system-11', 'his-13').

associatedWith(X,Y,Z) :-
   verb(Y),
   noun(X),
   noun(Z),
   X\=Y, Y\=Z, Z\=X,
   rel(X,Y), rel(Y,Z),
   not(beralation(X)), not(beralation(Z)), not(beralation(Y)).

我的目标是得到associationWith(X,Y,Z),其中X,Y,Z不是"be"项(berelation),但我写的上述规则不起作用,怎么做才能使它工作

我是一个全新的sat4j求解器..

它说一些cnf文件应该作为输入

是否有任何可能的方法将规则作为输入并获得它是否可满足？

我的规则将是那种:

Problem = ( 

     ( staff_1         <=>          staff_2 ) AND 
     ( doctor_1        <=>      physician_2 ) 

) AND ( 

     ( staff_1         AND         doctor_1 )

)  AND (

    NOT( ward_2             AND physician_2 ) AND 
    NOT( clinic_2           AND physician_2 ) AND 
    NOT( admission_record_2 AND physician_2 ) 

) AND (

   NOT( hospital_2          AND physician_2 ) AND 
   NOT( department_2        AND physician_2 ) AND 
   NOT( staff_2             AND physician_2 )
)

有人可以帮我解决这个问题,使用sat4j求解器吗？

我找到了一个坐着的求解器

http://code.google.com/p/aima-java/

我尝试使用以下代码来使用dpllsolver解决表达式

输入是

(A <=> B) AND (C => D) AND (A AND C) AND (NOT (B AND D)) AND (NOT (B AND D AND E))

CNF变压器将其转换为

 (  (  ( NOT A )  OR B ) AND  (  ( NOT B )  OR A ) )

它不考虑逻辑的其他部分,它只考虑第一个术语,如何使其正常工作？

请建议我,如果其他一些坐着的解决方案可以做到这一点

PEParser parser = new PEParser();
CNFTransformer transformer=new CNFTransformer();
Sentence and;
Sentence transformedAnd;
DPLL dpll = new DPLL();

Sentence sentence = (Sentence) parser.parse("(A <=> B) AND (C => D) AND (A AND …

我是Android应用程序开发的新手,我想使用android studio开发一个示例地图应用程序

我在http://android.rzeszow.net/?p=79中按照教程进行了操作,代码相同

模拟器是GoogleAPI等级18

一旦它运行,只有+和 - 出现在地图上

现在我尝试运行的任何模拟器(从谷歌api 13级到18级尝试)

"失败[INSTALL_FAILED_MISSING_SHARED_LIBRARY]"

我已经完成了各种堆栈溢出页面中给出的解决方案,但似乎没有用

请提出解决方案

我需要使用sat解算器来检查布尔表达式的可满足性.

我有像这样的复杂布尔表达式

是否有任何自动cnf文件转换器,以便我可以直接给坐在求解器？

我读了cnf格式文件..但是如何在.cnf文件中表达这个表达式？当paranthesis里面有一个连词以及如何表达时,我会感到困惑 - >和< - >？请帮我

Protege 4版本中没有Proteore SWRL选项卡,我已经尝试了protege 4.1和protege 4.2.提到修改SWRL规则的公理插件据说仅适用于protege 3版本.

任何人都可以告诉我插件或程序包含插件来编辑SWRL规则吗？

我下载了tuprolog,我无法得到以下查询的结果,而我在PROL ide中得到答案..有人可以帮忙吗？

verb(admit-1).
verb(work-4).
nsubjpass(admit-1, patient-2).
agent(admit-1, doctor-3).
nsubj(work-4, who-5).
aux(work-4, be-6).
rcmod(doctor-3, work-4).
prep_in(work-4, clinic-7).


aggregation('part of').
aggregation('belongs to').
aggregation('subdivision of').
aggregation('have').
aggregation('contain').
aggregation('comprise').
aggregation('include').
aggregation('define').
aggregation('consist of').
aggregation('compose of').
aggregation('denote by').
aggregation('identify by').
aggregation('make up of').
aggregation('record with').

attribute('have').
attribute('contain').
attribute('comprise').
attribute('include').
attribute('define').
attribute('consist of').
attribute('compose of').
attribute('denote by').
attribute('identify by').
attribute('make up of').
attribute('record with').

generalization('be').
generalization('kind of').
generalization('type of').
generalization('classify into').
generalization('consider').

object(X) :- noun(X).
relation(X) :-  verb(X).
rel(X,Y) :- nsubjpass(X,Y).
rel(X,Y) :- agent(X,Y).
rel(X,Y) :- …