semantics - Describe a film (entity and attribute) using the first order logic -


good morning, want understand how can describe using first order logic.

for example want describe film (an entity) , attribute (for example actor: clooney) film. how can describe using first order logic?

******* update ********

what need explain in first logic order is:

entity: element, abstraction or object can described set of properties or attributes. think must says entity has got set of attributes respective values. entity describes element, abstraction or object.

attribute: attribute has got value , associated entity. describes specific feature/property of entity.

document: pure text description (pure text not contains html tags). every document describes 1 entity through attribute.

to state object has property use single place predicate. example, state x film write film(x). if want attribute value object can use 2 (or more) place predicate. using example clooney starred in film starred(clooney, x).

there conventions people use. example, predicates start capital letters (actor, film, fatherof) , constants start lower case letter (x, clooney, batman). constants denote objects , predicates objects. in case of predicates more 1 argument first argument subject making statement. way can naturally read logical formula sentence in normal language. example, fatherof(x, y) read "x father of y".

answer update:

i not sure whether can in first order logic. describe entity has properties formula such 

\forall x (entity(x) ==> object(x) | element(x) | abstraction(x))

this bit more difficult attribute. in first order logic attribute ascribes quality object or relates object. use 3 place predicate in:

\forall attribute (\exists object (\exists value (has(object, attribute, value))))

as document, conjunction of such statements. example, description of george clooney following:

entity(clooney) & has(clooney, starred, gravity) & has(clooney, bornin, lexington) & ...

Comments

Post a Comment

Popular posts from this blog

php - failed to open stream: HTTP request failed! HTTP/1.0 400 Bad Request -

this code i'm using find latitude , longitude of place: function coords($address){ echo $url="http://maps.googleapis.com/maps/api/geocode/json?address=".$address; $json = file_get_contents(urlencode($url)); $data = json_decode($json, true); print_r($data['results'][0]['geometry']['location']['lat']); print_r($data['results'][0]['geometry']['location']['lng']); } however returns warning: failed open stream: http request failed! http/1.0 400 bad request if use above code in simple procedure works fine not in function. note: have tried curl_init()... method produced same result? instead of encoding whole url encode address part. following code work fine $add='jamshoro phase 2'; $url="http://maps.googleapis.com/maps/api/geocode/json?address=".urlencode($add); $json = file_get_contents($url); $data = json_decode($json, true); print_r($data['r
Read more

java - How to filter a backspace keyboard input -

i have code gives message when key number pressed: txtvalueofclause.addeventfilter(keyevent.key_typed, new eventhandler<keyevent>() { @override public void handle(keyevent t) { char ar[] = t.getcharacter().tochararray(); char ch = ar[t.getcharacter().tochararray().length - 1]; if (!(ch >= '0' && ch <= '9')) { system.out.println("the char entered not number"); t.consume(); } } }); now if press on wrong button , press backspace remove it, error message. how can add backspace input if statement? i have found answer: txtvalueofclause.addeventfilter(keyevent.key_typed, new eventhandler<keyevent>() { @override public void handle(keyevent t) { char ar[] = t.getcharacter().tochararray(); char ch = ar[t.getcharacter().tochar
Read more

java - Show Soft Keyboard when EditText Appears -

i have code in android app, alert dialog , keyboard, , when dialog shown want keyboard appear. not , not sure why? here code: final alertdialog.builder alert = new alertdialog.builder(this); alert.settitle("title"); alert.setmessage("message"); final edittext input = new edittext(this); input.setinputtype(inputtype.type_class_number); alert.setview(input); input.setonfocuschangelistener(new view.onfocuschangelistener() { @override public void onfocuschange(view v, boolean hasfocus) { if (hasfocus) { log.i(tag, "in focus"); inputmethodmanager inputmethodmanager = (inputmethodmanager) getsystemservice(context.input_method_service); inputmethodmanager.showsoftinput(input, inputmethodmanager.show_implicit); } } }); but keyboard not appear though edit text in focus, , tell appear why, doesn't come up? thanks in advance.
Read more