[UC-Logic] Talk on probabilistic default reasoning

[Pavel Klinov]

Ryan and all those interested in probabilistic and/or default reasoning-

I'll be happy to give a talk on Friday, Nov 9 on the following topic:
"Probabilistic Reasoning with Default Knowledge".

The talk will be largely based on few works of Thomas Lukasiewicz [1]
[2] who adapted non-standard entailment relations (such as Lehmann
lexicographic entailment [3]) to work with probabilistic default
theories. I'll start with the propositional probabilistic default
logic, its semantics, the problems of satisfiability and consistency.
Then, we'll discuss few entailment relations that allow non-monotonic
default probabilistic reasoning and compare them.

If people are interested I may either proceed to first-order
probabilistic logic programming or to the default probabilistic
description logic [4]. The latter is, in fact, a part of my future
thesis which is all about handling uncertainty in the Semantic Web
languages.

--
cheers,
--pavel
http://www.ece.uc.edu/~klinovp

[1] T. Lukasiewicz, "Probabilistic Default Reasoning with Conditional
Constraints, " 2000, available at:
http://citeseer.ist.psu.edu/306295.html
[2] T. Lukasiewicz, "Probabilistic Logic Programming with Conditional
Constraints, " 2000, available at:
http://citeseer.ist.psu.edu/lukasiewicz00probabilistic.html
[3] D. Lehmann, "Another perspective on default reasoning," Ann. Math.
Artif. Intell., 15(1):61–82, 1995.
[4] T. Lukasiewicz, "Probabilistic Description Logic for the Semantic
Web, " 2007, available at:
http://www.kr.tuwien.ac.at/research/reports/rr0605.pdf

[pavel....@gmail.com]

Hm, I seem to be unsure whether we decided that I'd take first 15 mins
of the Friday meeting to finish up my talk (which I think is the case)
or we are meeting tomorrow (Wed).. So unless someone replies
otherwise, I'll see you all on Friday!

I'll quickly say few words on satisfiability of prob. KBs and finish
(unless there're questions)

thanks,
--pavel

On Nov 2, 12:51 pm, "Pavel Klinov" <pavel.kli...@gmail.com> wrote:
> Ryan and all those interested in probabilistic and/or default reasoning-
>
> I'll be happy to give a talk on Friday, Nov 9 on the following topic:
> "Probabilistic Reasoning with Default Knowledge".
>
> The talk will be largely based on few works of Thomas Lukasiewicz [1]
> [2] who adapted non-standard entailment relations (such as Lehmann
> lexicographic entailment [3]) to work with probabilistic default
> theories. I'll start with the propositional probabilistic default
> logic, its semantics, the problems of satisfiability and consistency.
> Then, we'll discuss few entailment relations that allow non-monotonic
> default probabilistic reasoning and compare them.
>
> If people are interested I may either proceed to first-order
> probabilistic logic programming or to the default probabilistic
> description logic [4]. The latter is, in fact, a part of my future
> thesis which is all about handling uncertainty in the Semantic Web
> languages.
>
> --
> cheers,

> --pavelhttp://www.ece.uc.edu/~klinovp

>
> [1] T. Lukasiewicz, "Probabilistic Default Reasoning with Conditional
> Constraints, " 2000, available at:http://citeseer.ist.psu.edu/306295.html
> [2] T. Lukasiewicz, "Probabilistic Logic Programming with Conditional
> Constraints, " 2000, available at:http://citeseer.ist.psu.edu/lukasiewicz00probabilistic.html
> [3] D. Lehmann, "Another perspective on default reasoning," Ann. Math.

> Artif. Intell., 15(1):61-82, 1995.

[Tamisra Sanyal]

Pavel:

You can certainly use an initial segment of our meeting time
for your purpose.

Regards.

Tamisra.